Degree Spectra of Structures Relative to Equivalences
نویسندگان
چکیده
منابع مشابه
Degree spectra of relations on computable structures
§0. Introduction. There has been increasing interest over the last few decades in the study of the effective content of Mathematics. One field whose effective content has been the subject of a large body of work, dating back at least to the early 1960s, is model theory. (A valuable reference is the handbook [7]. In particular, the introduction and the articles by Ershov and Goncharov and by Har...
متن کاملDegree spectra and computable dimensions in algebraic structures
Whenever a structure with a particularly interesting computability-theoretic property is found, it is natural to ask whether similar examples can be found within well-known classes of algebraic structures, such as groups, rings, lattices, and so forth. One way to give positive answers to this question is to adapt the original proof to the new setting. However, this can be an unnecessary duplica...
متن کاملEquivalences for Fair Kripke Structures
Abst rac t . We extend the notion of bisimulation to Kripke structures with fairness. We define equivalences that preserve fairness and are akin to bisimulation. Specifically we define an equivalence and show that it is complete in the sense that it is the coarsest equivalence that preserves the logic CTL* interpreted with respect to the fair paths. We show that the addition of fairness might c...
متن کاملDegree of Bending (DoB) in Tubular KT-Joints of Jacket Structures Subjected to Axial Loads
The fatigue life of tubular joints commonly found in offshore industry is not only dependent on the value of Hot-spot stress (HSS), but is also significantly influenced by the through-the-thickness stress distribution characterized by the degree of bending (DoB). The determination of DoB values in a tubular joint is essential for improving the accuracy of fatigue life estimation using the stres...
متن کاملSILTING OBJECTS, t-STRUCTURES AND DERIVED EQUIVALENCES
This note is an extended abstract of my talk given in the conference: “Maurice Auslander Distinguished Lectures and International Conference”, April 29 May 4, 2015. It is based on [6] which is joint work with Jorge Vitória.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra and Logic
سال: 2019
ISSN: 0002-5232,1573-8302
DOI: 10.1007/s10469-019-09534-2